Polymorphism / Theoretical Computer Science / Lambda Calculus / Higher Order Thinking / Mathematical Sciences / Pure Type Systems / Pattern Matching / First-Order Logic / Functional Type / Abstract Data Type / Programming language / Data Type / Pure Type Systems / Pattern Matching / First-Order Logic / Functional Type / Abstract Data Type / Programming language / Data Type
Potato / Rio Grande do Sul / Path Analysis / Multiple Regression / Functional Type / Critical Point / Response surface / Critical Point / Response surface